Automatic analysis of consistency between requirements and designs
نویسندگان
چکیده
منابع مشابه
Automatic Analysis of Consistency between Requirements and Designs
ÐWriting requirements in a formal notation permits automatic assessment of such properties as ambiguity, consistency, and completeness. However, verifying that the properties expressed in requirements are preserved in other software life cycle artifacts remains difficult. The existing techniques either require substantial manual effort and skill or suffer from exponential explosion of the numbe...
متن کاملAutomatic Analysis of Consistency between Implementations and Requirements: A Case Study
Formal methods like model checking can be used to demonstrate that safety properties of event-based systems are enforced by the system's requirements. Unfortunately , proving these properties provides no guarantee that they will be preserved in an implementation of the system. This paper describes a tool, called An-alyzer, which discovers instances of inconsistency and incompleteness in impleme...
متن کاملModular Consistency Analysis of Component-Based Designs
Devices – Models of Computation) Manuscript received: 2 July 2003 Communicating Editor: Sidney A. Morris Copyright© 2004, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinti...
متن کاملEnsuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
Software engineering experts and textbooks insist that all of the artifacts related to a system, (e.g., its design, documentation, and implementation), must be kept in-sync. Unfortunately, in the real world, it is a very rare case that any two of these are kept consistent, let alone all three. In general, as an implementation changes, its source code documentation, like that of Javadoc, is only...
متن کاملcohesion and cohesive devices in a contrastive analysis between ge and esp texts
the present study was an attempt to conduct a contrastive analysis between general english (ge) and english for specific purposes (esp) texts in terms of cohesion and cohesive devices. to this end, thirty texts from different esp and ge textbooks were randomly selected. then they were analyzed manually to find the frequency of cohesive devices. cohesive devices include reference, substitution, ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2001
ISSN: 0098-5589
DOI: 10.1109/32.935856